Java Modeling Language

Model variables: cleanly supporting abstraction in design by contract

Documentation / Formal methods / Java Modeling Language / Design-by-Contract
Copyright © 2017 DATOSPDF Inc.